Nuprl Definition : l_before 11,40
l_before(x; y; l; T) == sublist(T; cons(x; cons(y; [])); l) 
latex

Definitionssublist(T; L1; L2), cons(car; cdr), []
FDL editor aliasesl_before

origin